-
1 truth theorem
Большой англо-русский и русско-английский словарь > truth theorem
-
2 truth theorem
Математика: теорема об истинности -
3 truth theorem
-
4 truth theorem
-
5 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
6 теорема об истинности
Большой англо-русский и русско-английский словарь > теорема об истинности
-
7 axiom
n аксиомаСинонимический ряд:1. assumption (noun) assumption; postulate; precept; premise2. fundamental principle (noun) basis; conception; fundamental principle; philosophy; theory; truth3. law (noun) fundamental; law; principium; principle; theorem; universal4. maxim (noun) aphorism; apothegm; brocard; dictum; gnome; maxim; moral; rule; truism5. self-evident truth (noun) adage; clichй; platitude; proverb; saying; self-evident truth -
8 function
1) функция
2) ф-ция
3) функционировать
4) зависимость
5) назначение
6) действовать
7) роль
– Abelian function
– acidity function
– action function
– adjustment function
– affect function
– alternating function
– ambiguity function
– Appell function
– approximate function
– arbitrary function
– autocorrelation function
– Bassel-Wilkin function
– beta function
– Boolean function
– bounded function
– built-in function
– case-shift function
– characteristic function
– choice function
– circulating function
– complementary function
– composite function
– computable function
– confluent function
– constrained function
– content function
– contiguous function
– continuous function
– control function
– correlation function
– cost function
– course-of-value function
– covariance function
– criterion function
– crosscorrelation function
– decision function
– decreasing function
– density function
– derived function
– determining function
– digamma function
– discontinuous function
– discriminant function
– dissipative function
– distance function
– distribution function
– domain of a function
– donor function
– efficiency function
– entire function
– error function
– even function
– excitation function
– expenditure function
– explicit function
– exponential function
– factorable function
– factorial function
– fatigue function
– flow function
– force function
– forcing function
– frequency function
– function character
– function element
– function letters
– function multiplier
– function of singularities
– function of state
– function of support
– function of two variables
– function potentiometer
– function switch
– function vanishes
– fundamental function
– generalized function
– generating function
– Gibbs function
– Green's function
– harmonic function
– height-gain function
– Herglotz function
– implicit function
– increasing function
– increment of a function
– indicator function
– influence function
– inhibit function
– integral function
– inverse function
– jump function
– kernel function
– Lauricella function
– likelihood function
– loss function
– majority function
– many-valued function
– minorant function
– monotone function
– monotonic function
– multivalent function
– n-metacaloric function
– non-decreasing function
– noncomputable function
– objective function
– odd function
– one-valued function
– original function
– oscillation of a function
– partition function
– pattern function
– payoff function
– Pearcey function
– penalty function
– power function
– prescribed function
– probability function
– propagation function
– quaternion function
– random function
– range of a function
– range of function
– rational function
– real-valued function
– recursive function
– response function
– ring function
– risk function
– saltus function
– sampling function
– saw-tooth function
– scattering function
– signum function
– simple function
– sine function
– single-valued function
– singular function
– singularity function
– skew-symmetric function
– source function
– spectral function
– status function
– step function
– storage function
– stream function
– successor function
– support function
– switching function
– terminal-decision function
– test function
– threshold function
– transcendental function
– transfer function
– transition function
– trial function
– truth function
– unconstrained function
– utility function
– variation of a function
– wave function
– weight function
– weighting function
– well-behaved function
– work function
– zeta function
almost bounded function — функция, ограниченная почти всюду
complementary error function — <math.> функция ошибок дополнительная
confluent hypergeometric function — <math.> функция гипергеометрическая вырожденная
contrast transfer function — <opt.> характеристика частотно-контрастная
cumulant generating function — производящая функция семиинвариантов
delta function response — импульсная переходная проводимость
distribution function analyzer — анализатор функции распределения
element of analytic function — элемент аналитической функции
function of bounded variation — функция с ограниченным изменением
incompletely defined function — не всюду определенная функция
inverse hyperbolic function — <geom.> ареафункция
linear discriminant function — <math.> функция дискриминантная линейная
moment generating function — <math.> производящая функция моментов
monotone non-decreasing function — монотонная неубывающая функция
monotone non-increasing function — монотонная невозрастающая функция
normalized coherence function — комплексная степень когерентности, <opt.> коэффициент когерентности
point spread function — <opt.> функция аппаратная, <opt.> функция рассеяния точки
probability density function — <math.> плотность вероятности, плотность распределения
quadratically integrable function — функция с интегрируемым квадратом
Rayleigh dissipation function — <opt.> функция диссипативная
Riemann zeta function — <math.> дзета-функция Римана
sourcewise representable function — истокообразно представленная функция
transfer function analyzer — анализатор передаточной функции
-
9 value
1) ценность
2) ценностный
3) значение
4) величина
5) стоимость
6) оценивать
7) нормировать
8) ценить
9) расценивать
10) цена
11) число
12) показатель
– absolute value
– actual value
– adjust to value
– adjustment to value
– allowable value
– angular value
– antiknock value
– approximate value
– assign value
– at cost value
– at prescribed value
– average value
– boundary value
– characteristic value
– color value
– defined value
– discrete value
– drop-out value
– effective value
– exceptional value
– exchange value
– expected value
– face value
– freeness value
– Greenwich value
– hematocrit value
– hydrogen ion value
– ideal value
– improved value
– in absolute value
– inestimable value
– instantaneous value
– insurable value
– knock value
– law of value
– limiting value
– load-bearing value
– low heat value
– mean value
– mean-square value
– negative value
– nominal value
– numerical value
– observable value
– of equal value
– of full value
– omitted value
– operate value
– optimal value
– particular value
– peak-to-peak value
– pH value
– pick-up value
– place value
– positive value
– quiescent value
– reference value
– relative value
– return a value
– returned value
– root-mean-square value
– specified value
– standardized value
– surplus value
– threshold value
– total value
– true value
– truth value
– value of capacitor
– value of flattening
– value of game
absolute value of a vector — <math.> величина вектора, модуль вектора
absolute value sign — <math.> модуль
boundary value problem — задача граничная, краевая задача
composite value method — <comput.> метод передачи совместных значений, метод совместных значений
singular value decomposition — <math.> разложение по сингулярным числам матрицы
switch laser Q to a low value — выключать добротность лазера
upper pure value — верхняя цена, верхняя чистая цена
-
10 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
11 fundamental
1. n основное правило; принципa fundamental of good behaviour is consideration for other people — основным правилом воспитанного человека является учёт интересов других людей
2. n основы, начатки3. n муз. основной тон4. a основной, коренной; существенныйfundamental concept — основная концепция ; основное понятие
5. a непременный, непреложный; совершенно необходимый6. a фундаментальный, теоретический7. a спец. основной, фундаментальныйfundamental frequency — основная частота, собственная частота
8. a данный от природы; врождённыйСинонимический ряд:1. elemental (adj.) basic; elemental; elementary; primitive; substratal; ultimate2. essential (adj.) axiomatic; basal; bottom; cardinal; central; chief; constitutional; constitutive; crucial; essential; foundational; integral; key; primary; radical; underlying; vital3. first (adj.) first; original; rudimentary4. base (noun) base; basis; cornerstone; foundation; root5. condition (noun) condition; fundamental; requirement; requisite6. essential (noun) axiom; basic; element; essential; law; part and parcel; principium; principle; rudiment; theorem; universalАнтонимический ряд:auxiliary; common; dispensable; last; nonessential; secondary; subordinate; superficial; superfluous; unimportant
См. также в других словарях:
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… … Wikipedia
truth — Synonyms and related words: a priori truth, absolute certainty, absolute credibility, absoluteness, accomplished fact, accuracy, actuality, actually, assurance, assuredness, authenticity, axiom, brocard, candor, certain knowledge, certainness,… … Moby Thesaurus
theorem — Synonyms and related words: a priori principle, a priori truth, affirmation, apriorism, assertion, assumed position, assumption, axiom, basis, brocard, categorical proposition, conjecture, data, deduction, dictate, dictum, first principles,… … Moby Thesaurus
truth — n 1. reality, actuality, Archaic. sooth; gospel, gospel truth, naked truth, unvarnished truth, Sl. straight goods; facts, Inf. low down, Inf. scoop, story; inside information, intelligence. 2. verity, Archaic. troth, factuality, factualness; ac… … A Note on the Style of the synonym finder
theorem — noun Etymology: Late Latin theorema, from Greek theōrēma, from theōrein to look at, from theōros spectator, from thea act of seeing more at theater Date: 1551 1. a formula, proposition, or statement in mathematics or logic deduced or to be… … New Collegiate Dictionary
theorem — n. esp. Math. 1 a general proposition not self evident but proved by a chain of reasoning; a truth established by means of accepted truths (cf. PROBLEM). 2 a rule in algebra etc., esp. one expressed by symbols or formulae (binomial theorem).… … Useful english dictionary
theorem — I (Roget s IV) n. Syn. thesis, dictum, assumption; see doctrine 1 , hypothesis , theory 1 . II (Roget s 3 Superthesaurus) n. assumption, proposition, hypothesis, theory, postulate, principle, law, rule, formula, equation. III (Roget s Thesaurus… … English dictionary for students
Tarski's theorem — Several results obtained by the noted logician Alfred Tarski are commonly referred to as Tarski s theorem:*Tarski s theorem on real closed fields established the decidability of the first order theory of real numbers. *The Knaster Tarski theorem… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia